There is a homomorphism &#966  from a group <i>G</i> to sym(<i>S</i>), the group of all permutations on <i>S</i>.